Re nement in Agent

نویسنده

  • Ciara Byrne
چکیده

A group of intelligent agents may work together in order to solve a problem or achieve a common goal. If the group fails to achieve a goal, it may be able to adapt its behaviour so that such a goal can be achieved in the future. One of the ways in which the behaviour of the agent group can be changed is by reening the knowledge of individual agents. 1 Motivation Suppose a group of students are working on a team project. They divide up the work involved and agree to meet on a particular day to put their contributions together and submit the project. One student intends to do his portion of the work the night before the team meeting, but is invited to a party, which he goes to instead of doing his work. He does not consider the consequences for the other team members. As a result, the team does not get a good grade for the project. This is an example of a failure to achieve a group goal due to the actions of one of the participants. How can the team ensure that it will succeed if it attempts to achieve a similar goal in the future? A group of intelligent agents should be able to ensure that such a failure is not repeated by adapting their behaviour. One way in which agents can adapt their behaviour is through the use of machine learning techniques to reene their knowledge. Our research is concerned with how they can do this eeectively. Extensive investigation of techniques for reening the knowledge held in a single knowledge base have already been carried out Ourston and Mooney, 1991] Richards and Mooney, 1992] Craw and Sleeman, 1991]. The process of reening multiple related knowledge bases, such as those of a group of agents, presents new challenges. The reene-ment of one agent's knowledge may aaect other agents in the system. The organisation of the agent community , the roles and expectations of individual agents, acquaintance groups, strategies used in cooperation, etc. amounts to a new body of knowledge that does not exist in a single-agent system, but which may also need to be reened. Agents are autonomous or semi-autonomous entities; their knowledge and reasoning processes are not necessarily transparent to other agents. Therefore, agents must volunteer information about their internal processing and cooperate with other agents in order to eeectively reene their …

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Class Re nement and Interface Re nement in Object-Oriented Programs

Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or re ned in their subclasses. This paper de nes a class re nement relation which captures these semantic constraints. The class re nement relation is...

متن کامل

Agents and Roles: Refinement in Alternating-Time Temporal Logic

We present a notion of re nement between agent-oriented systems de ned using alternating-time temporal logic (ATL). The renement relation provides a framework for de ning roles in a society of interacting agents, and formalising a relation of conformance between agents and roles. The re nement relation also allows us to construct abstractions in order to make veri cation more tractable.

متن کامل

Speci � cation and Re � nement of Networks of Asynchronously Communicating Agents

This paper presents an assumption commitment speci cation tech nique and a re nement calculus for networks of agents communicating asyn chronously via unbounded FIFO channels in the tradition of Kahn We de ne two types of assumption commitment speci cations namely simple and general speci cations It is shown that semantically any deterministic agent can be uniquely char acterized by a simple sp...

متن کامل

Re nement of Vectors of Bernstein Polynomials

For the case of Bernstein polynomials the re nement mask is calculated recursively and the re nement matrices are given explicitely Moreover the eigenvectors of the transposed re nement matrices are constructed whereas the eigenvectors of the re nement matrices themselves can be determined by a theorem of Micchelli and Prautzsch INTRODUCTION Let n N and let b t b t bn t T be a vector of uniform...

متن کامل

Tactics of Re nement

The re nement calculus is a modern technique of formal program development. Its application, however, may lead to long and repetitive developments. In this paper we present a language to write re nement tactics, and present examples of useful tactics. They encompass the application of several re nement laws, but can be used as a single transformation rule. Using tactics is not a novel idea, but...

متن کامل

Class Reenement and Interface Reenement I N Object-oriented Development

Constructing new classes from existing ones by inheritance or subclassing is a character istic feature of object oriented development Imposing semantic constraints on subclassing allows us to ensure that behaviour of superclasses is preserved or re ned in their subclasses This paper de nes the class re nement relation which captures these semantic constraints The class re nement relation is bas...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007